<?php
	$projecthome = "/home/groups/c/co/cobertura";
	$buildlogs = "${projecthome}/buildlogs";
	$additionalfiles = "${buildlogs}/files";
	include("${projecthome}/htdocs-buildresults-inc/header.php");
?>

<?php print(cc_getBuildresults($project, $log, $file)); ?>

<?php include("${projecthome}/htdocs-buildresults-inc/footer.php"); ?>
